\{$i$$\ldots\,$$j$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$k$:$\mathbb{Z}\mid$ ($i$ $\leq$ $k$) $\wedge$ ($k$ $\leq$ $j$)\}